type definition(型定義)